It is considered in some quarters that hypothesis‐driven methods are the only valuable, reliable or significant means of scientific advance. Data‐driven or ‘inductive’ advances in scientific knowledge are then seen as marginal, irrelevant, insecure or wrong‐headed, while the development of technology—which is not of itself ‘hypothesis‐led’ (beyond the recognition that such tools might be of value)—must be seen as equally irrelevant to the hypothetico‐deductive scientific agenda. We argue here that data‐ and technology‐driven programmes are not alternatives to hypothesis‐led studies in (...) scientific knowledge discovery but are complementary and iterative partners with them. Many fields are data‐rich but hypothesis‐poor. Here, computational methods of data analysis, which may be automated, provide the means of generating novel hypotheses, especially in the post‐genomic era. BioEssays 26:99–105, 2004. © 2003 Wiley Periodicals, Inc. (shrink)

The basis of science is the hypothetico-deductive method and the recording of experiments in sufficient detail to enable reproducibility. We report the development of Robot Scientist "Adam," which advances the automation of both. Adam has autonomously generated functional genomics hypotheses about the yeast Saccharomyces cerevisiae and experimentally tested these hypotheses by using laboratory automation. We have confirmed Adam's conclusions through manual experiments. To describe Adam's research, we have developed an ontology and logical language. The resulting formalization involves over 10,000 different (...) research units in a nested treelike structure, 10 levels deep, that relates the 6.6 million biomass measurements to their logical description. This formalization describes how a machine contributed to scientific knowledge. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Hypermediated Art CriticismPamela G. Taylor (bio) and B. Stephen Carpenter II (bio)Technological media catapults our perception into what Marshall McLuhan called "new transforming vision and awareness."1 As our lives become more and more immersed in such technologies as television, film, and interactive computers, we find ourselves inundated with a heightened sense of mindfulness—an aesthetic experience made possible through such computer technological characteristics as hyperlinks, hypermedia, and hyperreality. In (...) these terms, the prefix "hyper" represents various linking devices inherent to computer technology that allure and transport us between, above, below, and toward vast areas of information, places, and peoples. Hypermediacy, according to Bob Cotton and Richard Oliver, is "an entirely new kind of media experience born from the marriage of TV and computer technologies. Its raw ingredients can be brought together in any combination. It is a medium that offers random access; it has no physical beginning, middle, or end."2 In other words, there is no set or static structure inherent in technological media. It is not so much an "anything goes" apparatus as it is an "anything is possible" system. The seemingly vast possibilities inherent to technological media offer us many and alternate views of the world.Just as technological media encourage multiple means of viewing the world, no single approach to art criticism can be considered dominant, as several methods, methodologies, and approaches exist for responding to [End Page 1] works of art. We conceive of art criticism as a complex means of making meanings about works of art and communicating those meanings to other people. Following the lead of art educator Terry Barrett,3 art criticism hinges on the four activities of describing, interpreting, judging, and theorizing about art. Barrett suggests that, although all four overlap, interpretation is the most important and most likely the most complex aspect of art criticism. Although interwoven with description, analysis, and judgment, interpretation of the meanings of individual works of art is of foremost concern in contemporary art criticism. Similarly, we situate hypermediated art criticism as a synthesis of our descriptions, interpretations, judgments, and theories—both verbal and visual—with the various ways in which computer technology facilitates the simultaneous existence, representation, storage, and presentation of these and other forms of meaning making about works of art.Hypermediated art criticism is built upon our own technological abilities to both create and follow divergent paths, ideas, and beliefs according to our choices. Hypermediated art criticism is inclusive of the ways that our choices change daily depending upon our situation, role, and purpose, or simply as a result of what we witness or experience in a moment. In the hypermediated criticism process, our ways of seeing and knowing change from a linear to multilinear perspective, from single to multilayered, and from static to mutable perception. Indeed, the disparate ways of seeing and knowing made possible through technological media and hypermedia provide us with an expansive and personally reflective approach to art criticism.Personal Reflection and Art CriticismMichael Joyce, known for his poetic approach to computer hypertext theory and fictional writing, says, "We are who we are. Layered and overlaid, we make a world within our bodies."4 Possibly now more than ever that world within our bodies can be represented, re-presented, and re-invented right before our eyes through technological media. Digital ethnographer Ricki Goldman-Segall refers to this technological world as a learning constellation in which "we are each composed of many selves, all of which interact with each other as we learn.... With the use of new computer technologies, we extend not only our technological abilities, but also our various personae—the societies of our minds—in the form of new objects for others to think with."5 In the classroom, hypermediated art criticism generated through computer technology functions just this way—as new objects that we, and our students, use to help us extend the ways in which we think about works of art.Contrary to the antihumanist approach so often associated with computer technology theory,6 our discussion of hypermediated art criticism—the symbiotic relationship of art criticism and technology—begins with the [End Page 2] basic assumption that a primary purpose of... (shrink)

In this article, we outline a simple and intuitively appealing procedure to derive default priors. The main idea is to regard the choice of such a prior as a formal Bayesian decision problem. We also discuss Jeffreys prior and more generally the reference prior of Bernardo (J R Stat Soc B 41:113–147, 1979) from this standpoint.

An examination of verbal hallucinations and thought insertion as examples of "alienated self-consciousness.".

We investigate the provability or nonprovability of certain ordinary mathematical theorems within certain weak subsystems of second order arithmetic. Specifically, we consider the Cauchy/Peano existence theorem for solutions of ordinary differential equations, in the context of the formal system RCA 0 whose principal axioms are ▵ 0 1 comprehension and Σ 0 1 induction. Our main result is that, over RCA 0 , the Cauchy/Peano Theorem is provably equivalent to weak Konig's lemma, i.e. the statement that every infinite {0, 1}-tree (...) has a path. We also show that, over RCA 0 , the Ascoli lemma is provably equivalent to arithmetical comprehension, as is Osgood's theorem on the existence of maximum solutions. At the end of the paper we digress to relate our results to degrees of unsolvability and to computable analysis. (shrink)

Stephen Salkever shows that reading Aristotle is a starting point for discussing contemporary political problems in new ways that avoid the opposition between liberal individualism and republican communitarianism, between the politics of rights and the politics of virtues. Originally published in 1990. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in (...) durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

Stephen Salkever shows that reading Aristotle is a starting point for discussing contemporary political problems in new ways that avoid the opposition between liberal individualism and republican communitarianism, between the politics of rights and the politics of virtues. Originally published in 1990. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in (...) durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

Science and the End of Ethics examines some of the most important positive and negative implications that science has for ethics. Addressing the negative implications first, author Stephen Morris discusses how contemporary science provides significant challenges to moral realism. One threat against moral realism comes from evolutionary theory, which suggests that our moral beliefs are unconnected to any facts that would make them true. Ironically, many of the same areas of science (e.g. evolutionary biology, neuroscience, psychology) that present difficulties (...) for moral realism point to a new ethical approach that focuses on achieving some of the key practical goals shared by ethicists. Chief among these is how to increase amicable behavior among people. (shrink)

This essay traces the interlinked origins of two concepts found in Charles Darwin's writings: "unconscious selection," and sexual selection as applied to humanity's anatomical race distinctions. Unconscious selection constituted a significant elaboration of Darwin's artificial selection analogy. As originally conceived in his theoretical notebooks, that analogy had focused exclusively on what Darwin later would call "methodical selection," the calculated production of desired changes in domestic breeds. By contrast, unconscious selection produced its results unintentionally and at a much slower pace. Inspiration (...) for this concept likely came from Darwin's early reading of works on both animal breeding and physical ethnology. Texts in these fields described the slow and unplanned divergence of anatomical types, whether animal or human, under the guidance of contrasting ideals of physical perfection. These readings, it is argued, also led Darwin to his theory of sexual selection as applied to race, a theme he discussed mainly in his book The Descent of Man. There Darwin described how the racial version of sexual selection operated on the same principle as unconscious selection. He thereby effectively reunited these kindred concepts. (shrink)

The evidence-based medicine movement advocates basing all medical decisions on certain types of quantitative research data and has stimulated protracted controversy and debate since its inception. Evidence-based medicine presupposes an inaccurate and deficient view of medical knowledge. Michael Polanyi’s theory of tacit knowledge both explains this deficiency and suggests remedies for it. Polanyi shows how all explicit human knowledge depends on a wealth of tacit knowledge which accrues from experience and is essential for problem solving. Edmund Pellegrino’s classic treatment of (...) clinical judgment is examined, and a Polanyian critique of this position demonstrates that tacit knowledge is necessary for understanding how clinical judgment and medical decisions involve persons. An adequate medical epistemology requires much more qualitative research relevant to the clinical encounter and medical decision making than is currently being done. This research is necessary for preventing an uncritical application of evidence-based medicine by health care managers that erodes good clinical practice. Polanyi’s epistemology shows the need for this work and provides the structural core for building an adequate and robust medical epistemology that moves beyond evidence-based medicine. (shrink)

The thesis that scientists give greater weight to novel predictions than to explanations of known facts is tested against historical cases in physical science. Several theories were accepted after successful novel predictions but there is little evidence that extra credit was given for novelty. Other theories were rejected despite, or accepted without, making successful novel predictions. No examples were found of theories that were accepted primarily because of successful novel predictions and would not have been accepted if those facts had (...) been previously known. (shrink)

Most clinicians take for granted a simple, reductionist understanding of medical knowledge that is at odds with how they actually practice medicine; routine medical decisions incorporate more complicated kinds of information than most standard accounts of medical reasoning suggest. A better understanding of the structure and function of knowledge in medicine can lead to practical improvements in clinical medicine. This understanding requires some familiarity with epistemology, the study of knowledge and its structure, in medicine. Michael Polanyi's theory of tacit knowing (...) is advanced as the basis for developing a more accurate understanding of medical knowledge. Tacit knowing, which explores the taken-for-granted background knowledge that underlies all human knowing, is explained in detail with a focus on its relevance for clinical medicine. The implications of recognizing tacit knowing in medicine and medical decisions are discussed. These include the ability to explain the importance of the clinical encounter in medical practice, mechanisms for analysing patient and doctor as persons, and the need for humility given the uncertainty that the tacit dimension injects into all medical decisions. This more robust medical epistemology allows clinicians to better articulate the nature and importance of patient-centred care, to avoid pitfalls inherent in reductionist approaches to medical knowledge, and to think more clearly about the relationships between medicine and health care at the individual and population levels. (shrink)

A collection of 14 essays honoring the life and work of Oxford philosopher Wiggins touching on topics from ancient philosophy to ethics, metaphysics and the theory of meaning. The contributing scholars debate many of the seminal issues of Wiggins' work, including the determinancy of distinctness, relative identity, naturalism in ethics, logic and truth in moral judgments, and the practical wisdom of Aristotle. The collection uniquely features replies by Wiggins to each of the papers. Annotation copyright by Book News, Inc., Portland, (...) OR. (shrink)

Jeremy Bentham, philosopher and reformer, is one of the most influential thinkers of the modern age. This introduction to his writings presents a representative selection of texts authoritatively restored by the Bentham Project, University College London. As well as more familiar pieces on utility, law, and politics/policy, highlights include the succinct essay “On Retrenchment” and a never-before-published treatise on sex. The volume is completed by major interpretative essays by Mark Canuel, David Lieberman, Jennifer Pitts, and Philip Schofield. The texts included (...) in the book are: -Sex -An Introduction to the Principles of Morals and Legislation, Preface and Chapters 1–5 -Place and Time -Rationale of Judicial Evidence, Specially Applied to English Practice, Book 1, Chapter 1 -Constitutional Code Rationale, Chapters 1 and 2 -Pannomial Fragments -Panopticon, or, the Inspection-House, Letters 1, 2, and 6 -Of Publicity -Manual of Political Economy, Chapters 1 and 2 -Nonsense Upon Stilts -On Retrenchment. (shrink)

This paper examines the way Charles Darwin applied his domestic breeding analogy to the practical workings of species evolution: that application, it is argued, centered on Darwin's distinction between methodical and unconscious selection. Methodical selection, which entailed pairing particular individuals for mating purposes, represented conditions of strict geographic isolation, obviously useful for species multiplication (speciation). By contrast, unconscious selection represented an open landmass with a large breeding population. Yet Darwin held that this latter scenario, which often would include multiple ecological (...) subdistricts and thus partial isolation, was better suited for speciation than were isolated conditions. At the same time, many passages in Darwin's writings that apparently portrayed phyletic evolution exclusively (these including references to unconscious selection), actually applied to speciation as well, for phyletic change in a single district could constitute a local manifestation of a larger common-descent pattern. This generic use of "phyletic" change was reflected in Darwin's deployment of the unconscious selection analogy in his published writings as well as in his dispute with Moritz Wagner over the necessity of geographic isolation for speciation. We can thus understand Darwin's otherwise puzzling declaration in The Origin of Species that unconscious selection was 'more important' than the methodical approach. (shrink)

A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if every member of Q Turing computes a member of P. We say that P is strongly reducible to Q if every member of Q Turing computes a member of P via a fixed Turing functional. The weak degrees and strong degrees are the equivalence classes of mass problems under weak and strong reducibility, respectively. We (...) focus on the countable distributive lattices P w and P s of weak and strong degrees of mass problems given by nonempty Π 1 0 subsets of 2 ω . Using an abstract Gödel/Rosser incompleteness property, we characterize the Π 1 0 subsets of 2 ω whose associated mass problems are of top degree in P w and P s , respectively. Let R be the set of Turing oracles which are random in the sense of Martin-Löf, and let r be the weak degree of R. We show that r is a natural intermediate degree within P w . Namely, we characterize r as the unique largest weak degree of a Π 1 0 subset of 2 ω of positive measure. Within P w we show that r is meet irreducible, does not join to 1, and is incomparable with all weak degrees of nonempty thin perfect Π 1 0 subsets of 2 ω . In addition, we present other natural examples of intermediate degrees in P w . We relate these examples to reverse mathematics, computational complexity, and Gentzen-style proof theory. (shrink)

The authority of the intact self over the future severely demented self is based on notions of integrity and precedent autonomy. Despite criticism of this authority, the principle of precedent autonomy in the care of people with Alzheimer disease or other progressive and irreversible dementias retains its moral significance.

Let ω be the set of natural numbers. For functions f, g: ω → ω, we say f is dominated by g if f < g for all but finitely many n ∈ ω. We consider the standard “fair coin” probability measure on the space 2ω of in-finite sequences of 0's and 1's. A Turing oracle B is said to be almost everywhere dominating if, for measure 1 many X ∈ 2ω, each function which is Turing computable from X is (...) dominated by some function which is Turing computable from B. Dobrinen and Simpson have shown that the almost everywhere domination property and some of its variant properties are closely related to the reverse mathematics of measure theory. In this paper we exposit some recent results of Kjos-Hanssen, Kjos-Hanssen/Miller/Solomon, and others concerning LR-reducibility and almost everywhere domination. We also prove the following new result: If B is almost everywhere dominating, then B is superhigh, i. e., 0″ is truth-table computable from B ′, the Turing jump of B. (shrink)